\documentclass[12pt]{ociamthesis}  % default square logo 
%\documentclass[12pt,beltcrest]{ociamthesis} % use old belt crest logo
%\documentclass[12pt,shieldcrest]{ociamthesis} % use older shield crest logo

%load any additional packages
%\usepackage{amssymb}
\usepackage[tight,style=math]{k}
\usepackage{k}
\usepackage{appendix}

\usepackage{url}
\usepackage{color}
\usepackage{amssymb,amscd}
\usepackage{amsmath}
\usepackage{stmaryrd}
\usepackage{alltt}
\usepackage{graphicx}
\usepackage{color}
\usepackage{import}
\usepackage{graphicx}
\usepackage{bm}
\usepackage{xparse}
\usepackage{tikz}
\usetikzlibrary{matrix,arrows,decorations.pathmorphing}
\usepackage{algorithm}
\usepackage{algpseudocode}
\usepackage{ifpdf}


\newcommand{\Cfg}{\mathit{Cfg}}
\newcommand{\CfgSym}{\mathit{Cfg}^{\mathfrak{s}}}
\newcommand{\LSym}{\mathcal{L}^{\mathfrak{s}}}
\newcommand{\SigmaSym}{\Sigma^{\mathfrak{s}}}
\newcommand{\DSym}{\mathcal{D}^{\mathfrak{s}}}
\newcommand{\alphaSym}{\alpha^{\mathfrak{s}}}
\newcommand{\betaSym}{\beta^{\mathfrak{s}}}
\newcommand{\SSym}{{\S}^{\mathfrak{s}}}
\newcommand{\IMPSym}{\textsc{imp}$^{\mathfrak{s}}$\xspace}
\newcommand{\IMPRL}{\textsc{imp}$^{\textsc{rl}}$\xspace}
\newcommand{\IMPHL}{\textsc{imp}$^{\textsc{hl}}$\xspace}
\DeclareDocumentCommand{\TSym}{g}{{\T}^{\mathfrak{s}}\IfNoValueF {#1} {_{#1}}}

\newcommand{\cfgallimp}[2]{\kall[black]{cfg}{\kall[black]{k}{{#1}}\kall[black]{env}{{#2}}}}
\newcommand{\cfgprefimp}[2]{\kall[black]{cfg}{\kprefix[black]{k}{{#1}}\kprefix[black]{env}{{#2}}}}
\newcommand{\cfgallimps}[3]{\kall[black]{cfg}{\kall[black]{k}{{#1}}\kall[black]{env}{{#2}}\kall[black]{cond}{{#3}}}}
\newcommand{\cfgprefimps}[3]{\kall[black]{cfg}{\kprefix[black]{k}{{#1}}\kprefix[black]{env}{{#2}}\kall[black]{cond}{{#3}}}}

\newcommand{\htriple}[3]{(\!|{#1}|\!){#2}(\!|{#3}|\!)}



\newcommand{\Bool}{\mathit{Bool}}
\newcommand{\true}{\mathit{true}}
\newcommand{\false}{\mathit{false}}
\newcommand{\Ra}{\Rightarrow}
\newcommand{\eqbydef}{\triangleq}
\newcommand{\A}{\mathcal{A}}
\renewcommand{\S}{\mathcal{S}}
\newcommand{\T}{\mathcal{T}}
\newcommand{\Var}{\mathit{Var}}
\newcommand{\var}{\mathit{var}}
\newcommand{\SymVar}{\mathit{Val}^{\mathfrak{s}}}
\newcommand{\Free}{\mathit{Free}}
\newcommand{\IMP}{\textsc{imp}\xspace}
\newcommand{\sat}{\mathtt{sat}}
\newcommand{\unsat}{\mathtt{unsat}}
\newcommand{\asat}{\mathtt{sat}_{\approx}}
\newcommand{\aunsat}{\mathtt{unsat}_{\approx}}
\newcommand{\wsem}[1]{(\![{#1}]\!)}
\newcommand{\ssem}[1]{[\![{#1}]\!]}
\newcommand{\tran}[2]{\Ra^{#1}_{#2}}
\newcommand{\ltran}[3]{\stackrel{#1}{\Longrightarrow}\stackrel{#2}{_{#3}}}
\newcommand{\pattern}[2]{{#1}%
  \ifthenelse{\equal{#2}{}}{}{%
    \pmb{\wedge}{#2}%
  }%
}
\newcommand{\rrule}[3]{{#1}%
  \ifthenelse{\equal{#3}{}}{}{%
    \pmb{\wedge}{#3}%
  }%
  \pmb{\Rightarrow}{#2}
}

\newcommand{\mytt}[1]{{\fontsize{8}{10}\selectfont\textbf{$\terminal{#1}$}}}

\newcommand{\foland}{\mathbin{\pmb{\land}}}
\newcommand{\folor}{\mathop{\pmb{\lor}}}
\newcommand{\folneg}{\pmb{\neg}\,}
\newcommand{\vcirc}{\vdash^\circlearrowleft}
\renewcommand{\implies}{\longrightarrow}


\newtheorem{assumption}{Assumption}
\newtheorem{definition}{Definition}
\newtheorem{remark}{Remark}
\newtheorem{proposition}{Proposition}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{corollary}{Corollary}


\newenvironment{todo}{\bigskip\hrule\medskip\noindent}{\medskip\hrule\bigskip}
\newcommand{\tbd}[1]{\begin{todo}\textcolor{red}{#1}\end{todo}}
\newenvironment{example}{\noindent \textit{Example}}{\hfill $\Box$\par}
\newenvironment{proof}{\noindent \textit{Proof}}{\hfill $\Box$\par}

\renewcommand{\emph}[1]{\textbf{#1}}


%input macros (i.e. write your own macros file called mymacros.tex 
%and uncomment the next line)
%\include{mymacros}

\title{A Generic Framework for Symbolic Execution\\[1ex]     %your thesis title,
      }   %note \\[1ex] is a line break in the title

\author{\textbf{Andrei Arusoaie}\\}             %your name
\college{Supervisor: Prof. Dr. Dorel Lucanu}  %your college

%\renewcommand{\submittedtext}{change the default text here if needed}
\degree{PhD Second Year Report - 1}     %the degree
\degreedate{}         %the degree date

%end the preamble and start the document
\begin{document}

%this baselineskip gives sufficient line spacing for an examiner to easily
%markup the thesis with comments
\baselineskip=18pt plus1pt

%set the number of sectioning levels that get number and appear in the contents
\setcounter{secnumdepth}{3}
\setcounter{tocdepth}{3}


\maketitle                  % create a title page from the preamble info
\include{dedication}        % include a dedication.tex file
\include{acknowlegements}   % include an acknowledgements.tex file
\include{abstract}          % include the abstract

\begin{romanpages}          % start roman page numbering
\tableofcontents            % generate and include a table of contents
% \listoffigures              % generate and include a list of figures
\end{romanpages}            % end roman page numbering

%now include the files of latex for each of the chapters etc
\include{introduction}
%\include{research-description}
%\include{progress-report}
%\include{conclusions}

%now enable appendix numbering format and include any appendices
%\appendix
%\include{appendix1}
%\include{appendix2}

%next line adds the Bibliography to the contents page
\addcontentsline{toc}{chapter}{Bibliography}
%uncomment next line to change bibliography name to references
%\renewcommand{\bibname}{References}
\bibliography{refs}        %use a bibtex bibliography file refs.bib
\bibliographystyle{plain}  %use the plain bibliography style

\end{document}

